LaDiR: Latent Diffusion Enhances LLMs for Text Reasoning
arxiv.org·5h
💻Local LLMs
Self-Extracting F3
buttondown.com·15h·
Discuss: Hacker News
✅Format Verification
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
Detection Engineering: Practicing Detection-as-Code – Monitoring – Part 7
blog.nviso.eu·1h
🚨Incident Response
Java Backend Coding Technology: Writing Code in the Era of AI #Version 1.1
dev.to·13h·
Discuss: DEV
⚡SMT Applications
Cactus Language • Semantics 1
inquiryintoinquiry.com·17h
🔢Denotational Semantics
Language Support for Marginalia Search
marginalia.nu·1d
🔍BitFunnel
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·17h·
Discuss: Hacker News
💻Local LLMs
Embedding Lua in Nim
lambdacreate.com·21h
🦀Rust Macros
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·5h
💻Programming languages
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
📝Concrete Syntax
Declarative Partial Updates Proposal
github.com·14h·
Discuss: Hacker News
🎬WebCodecs
Generalization of LiNGAM that allows confounding
arxiv.org·5h
🔗Monadic Parsing
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·17h·
Discuss: Lobsters, Hacker News, r/programming
⚡Modern Compression
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·5h
🔗Parser Combinators
Can an LLM Induce a Graph? Investigating Memory Drift and Context Length
arxiv.org·5h
💻Local LLMs
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·5h
⚡Proof Automation
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·1d
📜Digital Philology
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·5h
⚙️TLA+